Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
531	Structure Learning of Markov Logic Networks through Iterated Local Search Marenglen Biba and Stefano Ferilli and Floriana Esposito1 Abstract. Many real-world applications of AI require both probability and first-order lo Add to Reading List Source URL: www.di.uniba.it Language: English - Date: 2008-10-06 05:35:01 Logic Automated theorem proving Theoretical computer science Mathematical logic Statistical models Markov logic network Algorithm Logic programming Resolution Bayesian statistics Statistics Mathematics
532	Laying a Foundation for Proving: Fostering Mathematical Curiosity, Sense Making, and Reasoning Eric Knuth University of Wisconsin Add to Reading List Source URL: www.northwestmathconf.org Language: English - Date: 2013-11-11 15:49:54 Theoretical computer science Proof theory Automated theorem proving Critical thinking Mathematical proof Proof Mathematics Logic Mathematical logic
533	ANSI-ASQ National Accreditation Board/ACLASS 500 Montgomery St. Suite 625│ Alexandria, VA 22314│[removed] │ _www.aclasscorp.com_ Add to Reading List Source URL: www.aclasscorp.com Language: English Electronic test equipment Laboratory equipment Line Impedance Stabilization Network Government ISO/IEC 17025 Electromagnetic interference Not-To-Exceed Federal Communications Commission Resolution Technology Electronics Automated theorem proving
534	Practical Partition-Based Theorem Proving for Large Knowledge Bases Sheila McIlraith Bill MacCartney Knowledge Systems Lab Knowledge Systems Lab Computer Science Dept. Computer Science Dept. Stanford University Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2003-04-08 15:18:46 Combinatorics Automated theorem proving NP-complete problems Graph partition Partition Resolution First-order logic Tree decomposition Mathematics Graph theory Theoretical computer science
535	RockIt: Exploiting Parallelism and Symmetry for MAP Inference in Statistical Relational Models Jan Noessner Mathias Niepert Add to Reading List Source URL: publications.wim.uni-mannheim.de Language: English - Date: 2013-04-05 04:57:09 Applied mathematics Mathematics Markov models Automated theorem proving Markov logic network Logic programming Resolution Markov chain Machine learning Artificial intelligence Theoretical computer science Statistics
536	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: kambing.ui.ac.id Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
537	Formal Methods for Knowledge Management in Science Theorema Group RISC, Johannes Kepler University Linz, Austria Presented by Temur Kutsia Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-11-01 01:10:42 Mathematical logic Formal methods Mathematical proof Epistemology Knowledge management Knowledge base Science Browse Knowledge Automated theorem proving Mathematics
538	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: get-software.net Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
539	Northwestern Hawaiian Islands Coral Reef Ecosystem Reserve RESERVE ADVISORY COUNCIL MEETING Reserve Conference Room, 6600 Kalaniana‘ole Highway, Suite 300 Tuesday, February 26 & Wednesday, February 27, 2013 • 9:00 am Add to Reading List Source URL: www.papahanaumokuakea.gov Language: English - Date: 2013-02-19 21:47:14 Papahānaumokuākea Marine National Monument Coral reef Hawaii Physical geography Water Northwestern Hawaiian Islands Automated theorem proving Mathematics Mechanization and Automated Reasoning Platform
540	Crowd-scale Interactive Formal Reasoning and Analytics Ethan Fast1 , Colleen Lee1 , Alex Aiken1 , Michael S. Bernstein1 , Daphne Koller1 , Eric Smith2 Stanford University1 , Kestrel Institute2 {ethan.fast, clee0, aiken, Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2013-08-19 09:51:46 Proof theory Automated theorem proving Mathematical logic Theorem Formal proof First-order logic LL parser Parsing Syntax Logic Logical syntax Formal languages

UPDATE